Search for: All records

Anthropogenic and natural disasters (e.g., wildfires, oil spills, mine spills, sewage treatment facilities) cause water quality disturbances in fluvial networks. These disturbances are highly unpredictable in space-time, with the potential to propagate through multiple stream orders and impact human and environmental health over days to years. Due to challenges in monitoring and studying these events, we need methods to strategize the deployment of rapid response research teams on demand. Rapid response research has the potential to close the gap in available water quality data and process understanding through time-sensitive data collection efforts. This manuscript presents a protocol that can guide researchers in preparing for and researching water quality disturbance events. We tested and refined the protocol by assessing the longitudinal propagation of water quality disturbances from the 2022 Hermit's Peak—Calf Canyon, NM, USA, the largest in the state's recorded history. Our rapid response research allowed us to collect high-resolution water quality data with semi-continuous sensors and synoptic grab sampling. The data collected have been used for traditional peer-reviewed publications and pragmatically to inform water utilities, restoration, and outreach programs. 

Abstract. Many studies in ecohydrology focusing on hydrologictransport argue that longer residence times across a stream ecosystem shouldconsistently result in higher biological uptake of carbon, nutrients, andoxygen. This consideration does not incorporate the potential forbiologically mediated reactions to be limited by stoichiometric imbalances.Based on the relevance and co-dependences between hydrologic exchange,stoichiometry, and biological uptake and acknowledging the limited amountof field studies available to determine their net effects on the retentionand export of resources, we quantified how microbial respiration iscontrolled by the interactions between and the supply of essential nutrients (C, N, and P)in a headwater stream in Colorado, USA. For this, we conducted two rounds ofnutrient experiments, each consisting of four sets of continuous injectionsof Cl− as a conservative tracer, resazurin as a proxy for aerobicrespiration, and one of the following nutrient treatments: (a) N, (b) N+C,(c) N+P, or (d) C+N+P. Nutrient treatments were considered to be knownsystem modifications that alter metabolism, and statistical tests helpedidentify the relationships between reach-scale hydrologic transport andrespiration metrics. We found that as discharge changed significantlybetween rounds and across stoichiometric treatments, (a) transient storagemainly occurred in pools lateral to the main channel and was proportional todischarge, and (b) microbial respiration remained similar between rounds andacross stoichiometric treatments. Our results contradict the notion thathydrologic transport alone is a dominant control on biogeochemicalprocessing and suggest that complex interactions between hydrology, resourcesupply, and biological community function are responsible for drivingin-stream respiration. 

Climate change is causing pronounced shifts during winter in the US, including shortening the snow season, reducing snowpack, and altering the timing and volume of snowmelt-related runoff. These changes in winter precipitation patterns affect in-stream freeze-thaw cycles, including ice and snow cover, and can trigger direct and indirect effects on in-stream physical, chemical, and biological processes in ~60% of river basins in the Northern Hemisphere. We used high-resolution, multi-parameter data collected in a headwater stream and its local environment (climate and soil) to determine interannual variability in physical, chemical, and biological signals in a montane stream during the winter of an El Niño and a La Niña year. We observed ~77% greater snow accumulation during the El Niño year, which caused the formation of an ice dam that shifted the system from a primarily lotic to a lentic environment. Water chemistry and stream metabolism parameters varied widely between years. They featured anoxic conditions lasting over a month, with no observable gross primary production (GPP) occurring under the ice and snow cover in the El Niño year. In contrast, dissolved oxygen and GPP remained relatively high during the winter months of the La Niña year. These redox and metabolic changes driven by changes in winter precipitation have significant implications for water chemistry and biological functioning beyond the winter. Our study suggests that as snow accumulation and hydrologic conditions shift during the winter due to climate change, hot-spots and hot-moments for biogeochemical processing may be reduced, with implications for the downstream movement of nutrients and transported materials. 

We present a formal model of Checked C, a dialect of C that aims to enforce spatial memory safety. Our model pays particular attention to the semantics of dynamically sized, potentially null-terminated arrays. We formalize this model in Coq, and prove that any spatial memory safety errors can be blamed on portions of the program labeled unchecked; this is a Checked C feature that supports incremental porting and backward compatibility. While our model's operational semantics uses annotated (“fat”) pointers to enforce spatial safety, we show that such annotations can be safely erased. Using PLT Redex we formalize an executable version of our model and a compilation procedure to an untyped C-like language, as well as use randomized testing to validate that generated code faithfully simulates the original. Finally, we develop a custom random generator for well-typed and almost-well-typed terms in our Redex model, and use it to search for inconsistencies between our model and the Clang Checked C implementation. We find these steps to be a useful way to co-develop a language (Checked C is still in development) and a core model of it. 

In recent years, researchers have explored component-based synthesis, which aims to automatically construct programs that operate by composing calls to existing APIs. However, prior work has not considered efficient synthesis of methods with side effects, e.g., web app methods that update a database. In this paper, we introduce RbSyn, a novel type- and effect-guided synthesis tool for Ruby. An RbSyn synthesis goal is specified as the type for the target method and a series of test cases it must pass. RbSyn works by recursively generating well-typed candidate method bodies whose write effects match the read effects of the test case assertions. After finding a set of candidates that separately satisfy each test, RbSyn synthesizes a solution that branches to execute the correct candidate code under the appropriate conditions. We formalize RbSyn on a core, object-oriented language λsyn and describe how the key ideas of the model are scaled-up in our implementation for Ruby. We evaluated RbSyn on 19 benchmarks, 12 of which come from popular, open-source Ruby apps. We found that RbSyn synthesizes correct solutions for all benchmarks, with 15 benchmarks synthesizing in under 9 seconds, while the slowest benchmark takes 83 seconds. Using observed reads to guide synthesize is effective: using type-guidance alone times out on 10 of 12 app benchmarks. We also found that using less precise effect annotations leads to worse synthesis performance. In summary, we believe type- and effect-guided synthesis is an important step forward in synthesis of effectful methods from test cases. 

Abstract Wildfires are increasing globally in frequency, severity, and extent, but their impact on fluvial networks, and the resources they provide, remains unclear. We combine remote sensing of burn perimeter and severity, in-situ water quality monitoring, and longitudinal modeling to create the first large-scale, long-term estimates of stream+river length impacted by wildfire for the western US. We find that wildfires directly impact ~6% of the total stream+river length between 1984 and 2014, increasing at a rate of 342 km/year. When longitudinal propagation of water quality impacts is included, we estimate that wildfires affect ~11% of the total stream+river length. Our results indicate that wildfire activity is one of the largest drivers of aquatic impairment, though it is not routinely reported by regulatory agencies, as wildfire impacts on fluvial networks remain unconstrained. We identify key actions to address this knowledge gap and better understand the growing threat to fluvial networks, water security, and public health risks.